REGISTRATION 2nd AVACS Autumn School, September 30 – October 02, 2015 in Oldenburg Credit Card Fax Form Please fill in this form and fax it to: +Your Name

Source URL: www.avacs.org

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Source URL: www.public.asu.edu

Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh

Source URL: homepages.cs.ncl.ac.uk

• Economy
• Money
• Finance
• Mobile payments
• Payment systems
• ISO standards
• Mobile telecommunications
• Online payments
• Near-field communication
• EMV
• Apple Pay
• Payment terminal

Your title here: Maybe add some pictures and/or school logo on the left and right authors and affiliation

Source URL: rpg.ifi.uzh.ch

• Photographic techniques
• Motion blur
• Science of photography

Chipping Away at Censorship Firewalls with User-Generated Content Sam Burnett, Nick Feamster, and Santosh Vempala School of Computer Science, Georgia Tech {sburnett, feamster, vempala}@cc.gatech.edu Abstract

Source URL: www.usenix.org

• Computing
• Internet privacy
• Software
• Technology
• Internet censorship
• Text messaging
• Email
• Internet censorship circumvention
• Freenet
• Deep packet inspection
• Steganography
• SMS

Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Mathematical logic
• School of Computer Science
• University of Manchester
• Mathematics
• Logic in computer science
• Automated theorem proving
• Formal verification
• SPASS
• Andrei Voronkov
• Vampire
• First-order logic

Neo- Geopoetics You can find out more about Geo-Poetics here. At the Atlantic Islands Festival on Luing in 2009, we also held the summer school for the Scottish Centre for Geopoetics, and many of the speakers talked abou

Source URL: burnedthumb.co.uk

• Kenneth White
• Ent
• Kenneth Parcell

Is it Really About Me? Message Content in Social Awareness Streams Mor Naaman, Jeffrey Boase, Chih-Hui Lai Rutgers University, School of Communication and Information 4 Huntington St., New Brunswick, NJ 08901, USA {mor,

Source URL: individual.utoronto.ca

• Software
• Computing
• Digital media
• Social media
• Social networking services
• Universal Windows Platform apps
• Terms of service
• Photo sharing
• Twitter
• Internet privacy
• Facebook
• Privacy concerns with social networking services

Poster: Detecting Command and Control Servers of Botnet With Randomized Traffic Di Wu1,2, Binxing Fang3, Fangjiao Zhang1,2 1 (Institute of Information Engineering, Chinese Academy of Sciences) 2 (School of Cyber Security

Source URL: www.ieee-security.org

• Computer network security
• Computing
• Cyberwarfare
• Multi-agent systems
• Spamming
• Cybercrime
• Botnets
• Intrusion detection system
• Server
• Cluster analysis
• Internet bot
• Computer security

A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m

Source URL: www.cs.bham.ac.uk

• Information theory
• Cryptography
• Information
• Electrical engineering
• Information flow
• Information leakage
• Leak
• Entropy
• Weka
• Memory leak
• Mutual information
• Biometric passport